package tarantula.experiment.jdom;

import junit.framework.TestCase;

public class JDomFailedTestsSimpleTest extends TestCase {
	public void test1() throws Throwable {

	    org.jdom.filter.ContentFilter var0 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var1 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.Filter var2 = var1.or((org.jdom.filter.Filter)var0);
	    org.jdom.filter.Filter var3 = var0.or((org.jdom.filter.Filter)var1);
	    var1.setDocumentContent();
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }

	  public void test2() throws Throwable {

	    org.jdom.filter.ContentFilter var0 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var1 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.Filter var2 = var1.or((org.jdom.filter.Filter)var0);
	    org.jdom.filter.Filter var3 = var0.or((org.jdom.filter.Filter)var1);
	    org.jdom.input.SAXBuilder var4 = new org.jdom.input.SAXBuilder();
	    boolean var5 = var4.getIgnoringBoundaryWhitespace();
	    var1.setPIVisible((boolean)var5);
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }

	  public void test3() throws Throwable {

	    org.jdom.filter.ContentFilter var0 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var1 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.Filter var2 = var1.or((org.jdom.filter.Filter)var0);
	    org.jdom.filter.Filter var3 = var0.or((org.jdom.filter.Filter)var1);
	    java.lang.Character var4 = new java.lang.Character('#');
	    boolean var5 = org.jdom.Verifier.isURICharacter((char)var4);
	    var1.setEntityRefVisible((boolean)var5);
	    
	    // Checks the contract:  equals-hashcode on var2 and var3
	    assertTrue("Contract failed: equals-hashcode on var2 and var3", var2.equals(var3) ? var2.hashCode() == var3.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var3 and var2
	    assertTrue("Contract failed: equals-hashcode on var3 and var2", var3.equals(var2) ? var3.hashCode() == var2.hashCode() : true);

	  }
}
